process algebra中文是什么意思

發(fā)音:

中文翻譯
造句

處理代數(shù)

algebra n. 代數(shù)學(xué)。
algebra algebra 代數(shù)(學(xué))
aeussere algebra exterior algebra 外代數(shù)
boolesche algebra boolean algebra 布爾代數(shù)
lie-algebra lie algebra 李代數(shù)
lineare algebra linear algebra 線性代數(shù)
null algebra; zero algebra 零代數(shù)
abelian algebra 阿貝耳代數(shù)
abstract algebra 抽象代數(shù); 傳動(dòng)概論; 近世代數(shù)
action algebra 作用代數(shù)
adic algebra 進(jìn)代數(shù)
advanced algebra 大代數(shù); 高等代數(shù)
algebra addition 代數(shù)加法
algebra and logic 代數(shù)與邏輯
algebra colloquium 代數(shù)集刊（英文版）
algebra dictionary 歷史詞典
algebra homomorphism 代數(shù)同態(tài)
algebra isomorphism 代數(shù)同構(gòu)
algebra of events 事件場(chǎng)
algebra of fraction 分式代數(shù)
algebra of logic 邏輯代數(shù)
algebra of matrices 矩陣代數(shù)
algebra of matrix 矩陣代數(shù)
algebra of program 程序代數(shù)
algebra of proposition 命題代數(shù)

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

Information flow models based on security process algebra
網(wǎng)絡(luò)信息系統(tǒng)的安全性及安全模型
Modeling and implementing of dss model system based on process algebra
模型系統(tǒng)建模與實(shí)現(xiàn)
Application research of process algebras on performance evaluation
進(jìn)程代數(shù)在性能評(píng)價(jià)中的應(yīng)用研究
process algebras are widely used in describing and analyzing concurrent systems
進(jìn)程代數(shù)在對(duì)并發(fā)系統(tǒng)的分析和驗(yàn)證等方面獲得了廣泛應(yīng)用。
Following the development of process algebra, many different bisimulations are introduced
隨著進(jìn)程代數(shù)的發(fā)展,許多不同的互模擬概念相繼被提出。
The-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems
演算是一種移動(dòng)進(jìn)程代數(shù)，可用于對(duì)并發(fā)和動(dòng)態(tài)變化的系統(tǒng)進(jìn)行建模。
Timed bundle event structures, is used as the system model and a real-time lotos-like process algebra is used as the specification language
動(dòng)作精化是在并發(fā)理論當(dāng)中一種很重要的層次化設(shè)計(jì)和刻畫(huà)方法。
process algebra, as one of the important tools for describing and analyzing concurrent and distributed systems, became an central branch of research in concurrency theory
進(jìn)程代數(shù)作為描述和分析并發(fā)與分布式系統(tǒng)的重要工具之一是并發(fā)理論的主流研究方向。
19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
即精化后的系統(tǒng)行為可以由精化前的系統(tǒng)行為和用于替換原系統(tǒng)動(dòng)作的子系統(tǒng)的行為組合推導(dǎo)出來(lái)2同余性。
University of twente, 1996.5 fecher h, majster-cederbaum m, wu j . bundle event structures : a revised cpo approach . information processing letters, 2002, 83 : 7-12.6 katoen j-p, langerak r, brinksma e, latella d, bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文擴(kuò)展了傳統(tǒng)的動(dòng)作精化理論，研究具有時(shí)間指標(biāo)的并發(fā)系統(tǒng)的動(dòng)作精化理論，在我們研究的并發(fā)系統(tǒng)中，時(shí)間指標(biāo)是系統(tǒng)的一個(gè)重要參數(shù)，動(dòng)作的執(zhí)行也是需要消耗時(shí)間的，并且緊急事件也被擴(kuò)充到可以是任何事件，而不僅僅是超時(shí)事件。

更多例句： 1 2

其他語(yǔ)種釋義

process algebraとは意味：プロセス代數(shù)｛だいすう｝

推薦英語(yǔ)閱讀

process algebra的中文翻譯，process algebra是什么意思，怎么用漢語(yǔ)翻譯process algebra，process algebra的中文意思，process algebra的中文，process algebra in Chinese，process algebra的中文，process algebra怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。